Qué (quién) es Object Constraint Language - definición
DECLARATIVE LANGUAGE
ObjectConstraintLanguage
Object Constraint Language
<language> (OCL) A formal specification language extension to
UML. The Object Constraint Language is a precise text
language that provides constraint and object query
expressions on an object-oriented model that cannot
otherwise be expressed by diagrammatic notation.
OCL supplements UML by providing expressions that have neither
the ambiguities of natural language nor the inherent
difficulty of using complex mathematics.
OCL is a descendent of Syntropy, a second-generation
object-oriented analysis and design method. The OCL 1.4
definition specified a constraint language. In OCL 2.0, the
definition has been extended to include general object query
language definitions.
OMG UML Home (http://uml.org/).
{Rational UML Resource Center
(http://rational.com/uml/index.jsp) }.
{OCL 2.0 Submission to UML
(http://omg.org/docs/ad/03-01-07.pdf) }.
(2003-11-15)
Object Constraint Language
The Object Constraint Language (OCL) is a declarative language describing rules applying to Unified Modeling Language (UML) models developed at IBM and is now part of the UML standard. Initially, OCL was merely a formal specification language extension for UML.
Constraint (computational chemistry)
![Resolving the constraints of a rigid water molecule using [[Lagrange multipliers]]: a) the unconstrained positions are obtained after a simulation time-step, b) the [[gradients]] of each constraint over each particle are computed and c) the Lagrange multipliers are computed for each gradient such that the constraints are satisfied.](https://commons.wikimedia.org/wiki/Special:FilePath/SHAKE algorithm.png?width=200 "Resolving the constraints of a rigid water molecule using [[Lagrange multipliers]]: a) the unconstrained positions are obtained after a simulation time-step, b) the [[gradients]] of each constraint over each particle are computed and c) the Lagrange multipliers are computed for each gradient such that the constraints are satisfied.")
METHOD FOR SATISFYING THE NEWTONIAN MOTION OF A RIGID BODY WHICH CONSISTS OF MASS POINTS
SHAKE (constraint); SETTLE (constraint); LINCS (constraint); Constraint algorithm (mechanics); SHAKE algorithm; Simple constraint; M-SHAKE; SETTLE (algorithm); SETTLE; Constraint algorithm
In computational chemistry, a constraint algorithm is a method for satisfying the Newtonian motion of a rigid body which consists of mass points. A restraint algorithm is used to ensure that the distance between mass points is maintained.
Wikipedia
Object Constraint Language
The Object Constraint Language (OCL) is a declarative language describing rules applying to Unified Modeling Language (UML) models developed at IBM and is now part of the UML standard. Initially, OCL was merely a formal specification language extension for UML. OCL may now be used with any Meta-Object Facility (MOF) Object Management Group (OMG) meta-model, including UML. The Object Constraint Language is a precise text language that provides constraint and object query expressions on any MOF model or meta-model that cannot otherwise be expressed by diagrammatic notation. OCL is a key component of the new OMG standard recommendation for transforming models, the Queries/Views/Transformations (QVT) specification.
